Harmon Craig (1926–2003)

Warren Harmon Lewis (1870-1964)

As one of the first to work at the Carnegie Institution of Washington [5] Department of Embryology, Warren Harmon Lewis made a number of contributions to the field of embryology [6]. In addition to his experimental discoveries on muscle development and the eye, Lewis also published and revised numerous works of scientific literature, including papers in the Carnegie Contributions to Embryology ...

Reviewer : Craig

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...

Craig Interpolation via Hypersequents

In this paper, we describe a novel constructive method of proving the Craig interpolation property (CIP) based on cut-free hypersequent calculi and apply the method to prove the CIP for the modal logic S5.

Craig Alan Feinstein

The question of whether the class of decision problems that can be solved by deterministic polynomial-time algorithms (P ) is equal to the class of decision problems that can be solved by nondeterministic polynomial-time algorithms (NP) has been open since it was first formulated by Cook, Karp, and Levin in 1971. In this paper, we prove that they are not equal by showing that any algorithm that...